An Ontological Analysis of Metamodeling Languages
نویسندگان
چکیده
Metamodeling systems are used to facilitate development of modeling systems. Each metamodeling system provides a metamodeling language that is used to specify modeling languages. The abstract syntax of a metamodeling language can be specified by using a meta-metamodel. In this paper, we discuss how to perform ontological analysis of metamodeling languages by using a foundational ontology. We investigate, whether the results of the analysis give language designers sufficient information to improve the quality of metamodeling languages. As an experiment, we analyze two metamodeling languages based on the Unified Foundational Ontology (UFO) and suggest how to improve one of the metamodeling languages.
منابع مشابه
On Metamodeling in Megamodels-v0.4
Model-Driven Engineering (MDE) introduced the notion of metamodeling as the main means for defining modeling languages. As a well organized engineering discipline, MDE should also have its theory clearly defined in terms of the relationships between key MDE concepts. Following the spirit of MDE, where models are first class citizens, even the MDE theory can be defined by models, or so called me...
متن کاملThe Inevitable Ontological Commitment or: How I Learned to Stop Worrying and Love Ontology
In recent years, there has been a growing interest in the application of Foundational Ontologies, i.e., formal ontological theories in the philosophical sense, for providing real-world semantics for conceptual modeling languages, and theoretically sound foundations and methodological guidelines for evaluating and improving the individual models produced using these languages. The lack of proper...
متن کاملOntological Behavior Modeling
This article gives an example of improving the effectiveness of behavior modeling languages using ontological techniques. The techniques are applied to behaviors in the Unified Modeling Language (UML), using the logical meanings for classification introduced in UML 2. The article suggests unifying UML’s three kinds of behavior languages around the abstract syntax and semantics of composite stru...
متن کاملOntological Metamodeling with Explicit Instantiation
Model Driven Engineering (MDE) is a promising paradigm for software development. It raises the level of abstraction in software development by treating models as primary artifacts. The definition of a metamodel is a recurring task in MDE and requires sound and formal support. The lack of such support causes deficiencies such as conceptual anomalies in the modeling languages. From philosophical ...
متن کاملOntology-Based Evaluation and Design of Visual Conceptual Modeling Languages
In this chapter, we present a framework for the evaluation and (re)design of modeling languages. In our approach, this property can be systematically evaluated by comparing a concrete representation of the worldview underlying the language (captured in the language ́s meta-model), with an explicit and formal representation of a conceptualization of that domain (a reference ontology). Moreover, w...
متن کامل